Tony Hoare
Charles Antony Richard Hoare
CSP
や
Quicksort
の考案者
Null
を発明して後悔した人
モニタ
ホーア論理